<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>LangConstants</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="LangConstants";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/lang/Hyp.html" title="class in mmj.lang"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/lang/LangException.html" title="class in mmj.lang"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/lang/LangConstants.html" target="_top">Frames</a></li>
<li><a href="LangConstants.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#methods_inherited_from_class_java.lang.Object">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li>Method</li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.lang</div>
<h2 title="Class LangConstants" class="title">Class LangConstants</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>mmj.lang.LangConstants</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">LangConstants</span>
extends java.lang.Object</pre>
<div class="block">Constants used in mmj.lang package.
 <p>
 There are two primary types of constants: parameters that are "hardcoded"
 which affect/control processing, and error/info messages.
 <p>
 Each mmj message begins with a code, such as this:
 <p>
 <code>E-LA-0007</code>
 <p>
 where the format of the code is <code>X-YY-9999</code><br>
 <p>
 <b><code>X</code></b> : error level
 <ul>
 <li><code>E</code> = Error
 <li><code>I</code> = Information
 <li><code>A</code> = Abort (processing terminates, usually a bug).
 </ul>
 <p>
 <b><code>YY</code></b> : source code
 <ul>
 <li><code>GM</code> = mmj.gmff package (see <a href="../../mmj/gmff/GMFFConstants.html" title="class in mmj.gmff"><code>GMFFConstants</code></a>)
 <li><code>GR</code> = mmj.verify.Grammar and related code (see
 <a href="../../mmj/verify/GrammarConstants.html" title="class in mmj.verify"><code>GrammarConstants</code></a>)
 <li><code>IO</code> = mmj.mmio package (see <a href="../../mmj/mmio/MMIOConstants.html" title="class in mmj.mmio"><code>MMIOConstants</code></a>)
 <li><code>LA</code> = mmj.lang package (see <a href="../../mmj/gmff/GMFFConstants.html" title="class in mmj.gmff"><code>GMFFConstants</code></a>)
 <li><code>PA</code> = mmj.pa package (proof assistant) (see <a href="../../mmj/pa/PaConstants.html" title="class in mmj.pa"><code>PaConstants</code></a>)
 <li><code>PR</code> = mmj.verify.VerifyProof and related code (see
 <a href="../../mmj/verify/ProofConstants.html" title="class in mmj.verify"><code>ProofConstants</code></a>)
 <li><code>TL</code> = mmj.tl package (Theorem Loader).
 <li><code>TM</code> = mmj.tmff.AlignColumn and related code
 <li><code>UT</code> = mmj.util package. (see <a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><code>UtilConstants</code></a>)
 </ul>
 <p>
 <b><code>9999</code></b> : sequential number within the source code, 0001 through
 9999.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ALLOC_NBR_BOOK_CHAPTERS_INITIAL">ALLOC_NBR_BOOK_CHAPTERS_INITIAL</a></strong></code>
<div class="block">This sets the initial size of the ArrayList used to store Chapters in the
 BookManager.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ALLOC_NBR_BOOK_SECTIONS_INITIAL">ALLOC_NBR_BOOK_SECTIONS_INITIAL</a></strong></code>
<div class="block">This sets the initial size of the ArrayList used to store Sections in the
 BookManager.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#BOOK_MANAGER_ENABLED_DEFAULT">BOOK_MANAGER_ENABLED_DEFAULT</a></strong></code>
<div class="block">The BookManager is enabled by default even though it is possibly of
 little use to the average mmj2 user.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#CHAPTER_TOSTRING_LITERAL">CHAPTER_TOSTRING_LITERAL</a></strong></code>
<div class="block">for Chapter.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#CNST_SET_TYPE">CNST_SET_TYPE</a></strong></code>
<div class="block">for Cnst.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_ERROR_CHAR_VALUE">COMPRESS_ERROR_CHAR_VALUE</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_HIGH_BASE">COMPRESS_HIGH_BASE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_HIGH_DIGIT_CHARS">COMPRESS_HIGH_DIGIT_CHARS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_LOW_BASE">COMPRESS_LOW_BASE</a></strong></code>
<div class="block">for ProofCompression.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_LOW_DIGIT_CHARS">COMPRESS_LOW_DIGIT_CHARS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_OTHER_STMT_INIT_LEN">COMPRESS_OTHER_STMT_INIT_LEN</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_REPEAT_CHAR">COMPRESS_REPEAT_CHAR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static byte</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_REPEAT_CHAR_VALUE">COMPRESS_REPEAT_CHAR_VALUE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_REPEATED_SUBPROOF_INIT_LEN">COMPRESS_REPEATED_SUBPROOF_INIT_LEN</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_STEP_INIT_LEN">COMPRESS_STEP_INIT_LEN</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_UNKNOWN_CHAR">COMPRESS_UNKNOWN_CHAR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static byte</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_UNKNOWN_CHAR_VALUE">COMPRESS_UNKNOWN_CHAR_VALUE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static byte[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#COMPRESS_VALID_CHARS">COMPRESS_VALID_CHARS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#DJVARS_LEFT_BRACKET">DJVARS_LEFT_BRACKET</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#DJVARS_RIGHT_BRACKET">DJVARS_RIGHT_BRACKET</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#DJVARS_SEPARATOR">DJVARS_SEPARATOR</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_APPENDED_CAPTION">ERRMSG_APPENDED_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_ASSRT_SUBST_HYP_NOTFND">ERRMSG_ASSRT_SUBST_HYP_NOTFND</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_BAD_PARSE_STMT">ERRMSG_BAD_PARSE_STMT</a></strong></code>
<div class="block">Messages for ProofCompression.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND">ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND</a></strong></code>
<div class="block">Messages for BookManager.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_BOGUS_WORK_VAR_IN_ALLOC">ERRMSG_BOGUS_WORK_VAR_IN_ALLOC</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_CANNOT_END_GLOBAL_SCOPE">ERRMSG_CANNOT_END_GLOBAL_SCOPE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_BAD_CHAR">ERRMSG_COMPRESS_BAD_CHAR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_BAD_RPT">ERRMSG_COMPRESS_BAD_RPT</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_BAD_RPT2">ERRMSG_COMPRESS_BAD_RPT2</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_BAD_RPT3">ERRMSG_COMPRESS_BAD_RPT3</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_BAD_UNK">ERRMSG_COMPRESS_BAD_UNK</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_CORRUPT">ERRMSG_COMPRESS_CORRUPT</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_NO_PROOF_BLOCKS">ERRMSG_COMPRESS_NO_PROOF_BLOCKS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_NOT_ASCII">ERRMSG_COMPRESS_NOT_ASCII</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_OTHER_BOGUS">ERRMSG_COMPRESS_OTHER_BOGUS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_OTHER_MAND">ERRMSG_COMPRESS_OTHER_MAND</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_OTHER_NOTFND">ERRMSG_COMPRESS_OTHER_NOTFND</a></strong></code>
<div class="block">Messages for ProofCompression.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_OTHER_VARHYP_POS">ERRMSG_COMPRESS_OTHER_VARHYP_POS</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_COMPRESS_PREMATURE_END">ERRMSG_COMPRESS_PREMATURE_END</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DEFINE_WORK_VAR_DUP">ERRMSG_DEFINE_WORK_VAR_DUP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DEFINE_WORK_VAR_NBR_BAD">ERRMSG_DEFINE_WORK_VAR_NBR_BAD</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DEFINE_WORK_VAR_PFX_DUP">ERRMSG_DEFINE_WORK_VAR_PFX_DUP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD">ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DEFINE_WORK_VAR_TYPE_BAD">ERRMSG_DEFINE_WORK_VAR_TYPE_BAD</a></strong></code>
<div class="block">Messages for WorkVarManager.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DJ_VARS_ARE_DUPS">ERRMSG_DJ_VARS_ARE_DUPS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME">ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME</a></strong></code>
<div class="block">Messages for Theorem.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR">ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR</a></strong></code>
<div class="block">Messages for ScopeFrame.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DUP_STMT_LABEL">ERRMSG_DUP_STMT_LABEL</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT">ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT">ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_DUP_VAR_OR_CNST_SYM">ERRMSG_DUP_VAR_OR_CNST_SYM</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_EXPR_SYM_NOT_ACTIVE">ERRMSG_EXPR_SYM_NOT_ACTIVE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_EXPR_SYM_NOT_DEF">ERRMSG_EXPR_SYM_NOT_DEF</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP">ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_FORMULA_VAR_HYP_NOTFND">ERRMSG_FORMULA_VAR_HYP_NOTFND</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_FORWARD_PROOF_STEP_LABEL">ERRMSG_FORWARD_PROOF_STEP_LABEL</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_INSERTED_CAPTION">ERRMSG_INSERTED_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_INTERVAL_SIZE_RANGE_ERR">ERRMSG_INTERVAL_SIZE_RANGE_ERR</a></strong></code>
<div class="block">Messages for SeqAssigner.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR">ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_LOGHYP_CAPTION">ERRMSG_LOGHYP_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_MAX_ERROR_MSG_LT_1">ERRMSG_MAX_ERROR_MSG_LT_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_MAX_INFO_MSG_LT_1">ERRMSG_MAX_INFO_MSG_LT_1</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_MISSING_END_SCOPE_AT_EOF">ERRMSG_MISSING_END_SCOPE_AT_EOF</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_MULT_ACTIVE_HYP_FOR_VAR">ERRMSG_MULT_ACTIVE_HYP_FOR_VAR</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL">ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST">ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST</a></strong></code>
<div class="block">Messages for ParseNode.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PARSED_RPN_EMPTY_STACK">ERRMSG_PARSED_RPN_EMPTY_STACK</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PARSED_RPN_INCOMPLETE">ERRMSG_PARSED_RPN_INCOMPLETE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END">ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PARSED_RPN_TOP_STACK_STMT">ERRMSG_PARSED_RPN_TOP_STACK_STMT</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PROOF_HAS_NO_STEPS">ERRMSG_PROOF_HAS_NO_STEPS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PROOF_STEP_HYP_INACTIVE">ERRMSG_PROOF_STEP_HYP_INACTIVE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_PROOF_STEP_LABEL_NOTFND">ERRMSG_PROOF_STEP_LABEL_NOTFND</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_RPN_CONV_TO_TREE_FAILURE">ERRMSG_RPN_CONV_TO_TREE_FAILURE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS">ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE">ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SEQ_ASSIGNER_COMMIT_STATE">ERRMSG_SEQ_ASSIGNER_COMMIT_STATE</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS">ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT">ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE">ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_LABEL_DUP_OF_SYM_ID">ERRMSG_STMT_LABEL_DUP_OF_SYM_ID</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_LABEL_STRING_EMPTY">ERRMSG_STMT_LABEL_STRING_EMPTY</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_TBL_TOO_SMALL">ERRMSG_STMT_TBL_TOO_SMALL</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_TYP_NOT_DEF_AS_CNST">ERRMSG_STMT_TYP_NOT_DEF_AS_CNST</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_TYP_UNDEF">ERRMSG_STMT_TYP_UNDEF</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_VAR_NOT_ACTIVE">ERRMSG_STMT_VAR_NOT_ACTIVE</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_VAR_NOT_DEF_AS_VAR">ERRMSG_STMT_VAR_NOT_DEF_AS_VAR</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_STMT_VAR_UNDEF">ERRMSG_STMT_VAR_UNDEF</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE">ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SYM_ID_DUP_OF_STMT_LABEL">ERRMSG_SYM_ID_DUP_OF_STMT_LABEL</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SYM_ID_STRING_EMPTY">ERRMSG_SYM_ID_STRING_EMPTY</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_SYM_TBL_TOO_SMALL">ERRMSG_SYM_TBL_TOO_SMALL</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_THEOREM_CAPTION">ERRMSG_THEOREM_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_THEOREM_LOADER_COMMIT_FAILED">ERRMSG_THEOREM_LOADER_COMMIT_FAILED</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED">ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_TIMER_ID">ERRMSG_TIMER_ID</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_TIMER_ID_NOTFND">ERRMSG_TIMER_ID_NOTFND</a></strong></code>
<div class="block">Messages for Messages.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP">ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_TREE_CONV_TO_RPN_FAILURE">ERRMSG_TREE_CONV_TO_RPN_FAILURE</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_TYP_CONV_DUP">ERRMSG_TYP_CONV_DUP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_UNIFY_SUBST_HYP_NOTFND">ERRMSG_UNIFY_SUBST_HYP_NOTFND</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_VAR_IN_WORK_VAR_HYP">ERRMSG_VAR_IN_WORK_VAR_HYP</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_VAR_IS_ALREADY_ACTIVE">ERRMSG_VAR_IS_ALREADY_ACTIVE</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#ERRMSG_VAR_IS_DUP_OF_CNST_SYM">ERRMSG_VAR_IS_DUP_OF_CNST_SYM</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#MAX_ERROR_MESSAGES_DEFAULT">MAX_ERROR_MESSAGES_DEFAULT</a></strong></code>
<div class="block">Default maximum number of error messages in mmj.lang.Messages.java, the
 mmj message repository during processing.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#MAX_INFO_MESSAGES_DEFAULT">MAX_INFO_MESSAGES_DEFAULT</a></strong></code>
<div class="block">Default maximum number of "info" messages in mmj.lang.Messages.java, the
 mmj message repository during processing.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#MISSING_PROOF_STEP">MISSING_PROOF_STEP</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#NBR_WORK_VARS_FOR_TYPE_MAX">NBR_WORK_VARS_FOR_TYPE_MAX</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#NBR_WORK_VARS_FOR_TYPE_MIN">NBR_WORK_VARS_FOR_TYPE_MIN</a></strong></code>
<div class="block">for WorkVarManager.java</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static <a href="../../mmj/lang/ProofVerifier.html" title="interface in mmj.lang">ProofVerifier</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#PROOF_VERIFIER_DEFAULT">PROOF_VERIFIER_DEFAULT</a></strong></code>
<div class="block">Default ProofVerifier is null, meaning no proof verification is done
 automatically.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_DISPLAY_CAPTION">SECTION_DISPLAY_CAPTION</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_LOGIC_CD">SECTION_LOGIC_CD</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_NBR_CATEGORIES">SECTION_NBR_CATEGORIES</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_SYM_CD">SECTION_SYM_CD</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_SYNTAX_CD">SECTION_SYNTAX_CD</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_TOSTRING_LITERAL">SECTION_TOSTRING_LITERAL</a></strong></code>
<div class="block">for Section.java</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SECTION_VAR_HYP_CD">SECTION_VAR_HYP_CD</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT">SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT</a></strong></code>
<div class="block">Sequence Number default interval size.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT">SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT</a></strong></code>
<div class="block">Sequence Number Interval Table HashMap initial size.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX">SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX</a></strong></code>
<div class="block">Sequence Number Interval Table HashMap maximum initial size.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN">SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN</a></strong></code>
<div class="block">Sequence Number Interval Table HashMap minimum initial size.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_MAX_INTERVAL_SIZE">SEQ_ASSIGNER_MAX_INTERVAL_SIZE</a></strong></code>
<div class="block">Sequence Number maximum interval size.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SEQ_ASSIGNER_MIN_INTERVAL_SIZE">SEQ_ASSIGNER_MIN_INTERVAL_SIZE</a></strong></code>
<div class="block">Sequence Number minimum interval size.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ">STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#STMT_TBL_INITIAL_SIZE_DEFAULT">STMT_TBL_INITIAL_SIZE_DEFAULT</a></strong></code>
<div class="block">Default initial size of Statement Table, large enough to handle set.mm
 times 1.5.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#STMT_TBL_INITIAL_SIZE_MINIMUM">STMT_TBL_INITIAL_SIZE_MINIMUM</a></strong></code>
<div class="block">Minimum size of Statement Table.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SYM_TBL_INITIAL_SIZE_DEFAULT">SYM_TBL_INITIAL_SIZE_DEFAULT</a></strong></code>
<div class="block">Default initial size of Symbol Table, large enough to handle set.mm times
 1.5.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SYM_TBL_INITIAL_SIZE_MINIMUM">SYM_TBL_INITIAL_SIZE_MINIMUM</a></strong></code>
<div class="block">Minimum size of Symbol Table.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static <a href="../../mmj/lang/SyntaxVerifier.html" title="interface in mmj.lang">SyntaxVerifier</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#SYNTAX_VERIFIER_DEFAULT">SYNTAX_VERIFIER_DEFAULT</a></strong></code>
<div class="block">Default SyntaxVerifier is null, meaning no grammar or syntax
 parsing/verification is done automatically.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#WORK_VAR_DEFAULT_NBR_FOR_TYP_CD">WORK_VAR_DEFAULT_NBR_FOR_TYP_CD</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#WORK_VAR_DEFAULT_PREFIX">WORK_VAR_DEFAULT_PREFIX</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#WV_OCCURS_IN_ERROR">WV_OCCURS_IN_ERROR</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#WV_OCCURS_IN_NOT_AT_ALL">WV_OCCURS_IN_NOT_AT_ALL</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/lang/LangConstants.html#WV_OCCURS_IN_RENAME_LOOP">WV_OCCURS_IN_RENAME_LOOP</a></strong></code>
<div class="block">for ParseNode.java to commo to mmj.pa.StepUnifier...</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/lang/LangConstants.html#LangConstants()">LangConstants</a></strong>()</code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="SYM_TBL_INITIAL_SIZE_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SYM_TBL_INITIAL_SIZE_DEFAULT</h4>
<pre>public static final&nbsp;int SYM_TBL_INITIAL_SIZE_DEFAULT</pre>
<div class="block">Default initial size of Symbol Table, large enough to handle set.mm times
 1.5.
 <p>
 The system will grow the table, as needed.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SYM_TBL_INITIAL_SIZE_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SYM_TBL_INITIAL_SIZE_MINIMUM">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SYM_TBL_INITIAL_SIZE_MINIMUM</h4>
<pre>public static final&nbsp;int SYM_TBL_INITIAL_SIZE_MINIMUM</pre>
<div class="block">Minimum size of Symbol Table.
 <p>
 An arbitrary small number greater than zero :)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SYM_TBL_INITIAL_SIZE_MINIMUM">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="STMT_TBL_INITIAL_SIZE_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>STMT_TBL_INITIAL_SIZE_DEFAULT</h4>
<pre>public static final&nbsp;int STMT_TBL_INITIAL_SIZE_DEFAULT</pre>
<div class="block">Default initial size of Statement Table, large enough to handle set.mm
 times 1.5.
 <p>
 An arbitrary small number greater than zero :)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.STMT_TBL_INITIAL_SIZE_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="STMT_TBL_INITIAL_SIZE_MINIMUM">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>STMT_TBL_INITIAL_SIZE_MINIMUM</h4>
<pre>public static final&nbsp;int STMT_TBL_INITIAL_SIZE_MINIMUM</pre>
<div class="block">Minimum size of Statement Table.
 <p>
 An arbitrary small number greater than zero :)</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.STMT_TBL_INITIAL_SIZE_MINIMUM">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="PROOF_VERIFIER_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>PROOF_VERIFIER_DEFAULT</h4>
<pre>public static final&nbsp;<a href="../../mmj/lang/ProofVerifier.html" title="interface in mmj.lang">ProofVerifier</a> PROOF_VERIFIER_DEFAULT</pre>
<div class="block">Default ProofVerifier is null, meaning no proof verification is done
 automatically.
 <p>
 The ProofVerifier can be added after the .mm file is loaded.</div>
</li>
</ul>
<a name="SYNTAX_VERIFIER_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SYNTAX_VERIFIER_DEFAULT</h4>
<pre>public static final&nbsp;<a href="../../mmj/lang/SyntaxVerifier.html" title="interface in mmj.lang">SyntaxVerifier</a> SYNTAX_VERIFIER_DEFAULT</pre>
<div class="block">Default SyntaxVerifier is null, meaning no grammar or syntax
 parsing/verification is done automatically.
 <p>
 The SyntaxVerifier can be added after the .mm file is loaded.</div>
</li>
</ul>
<a name="MAX_ERROR_MESSAGES_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>MAX_ERROR_MESSAGES_DEFAULT</h4>
<pre>public static final&nbsp;int MAX_ERROR_MESSAGES_DEFAULT</pre>
<div class="block">Default maximum number of error messages in mmj.lang.Messages.java, the
 mmj message repository during processing.
 <p>
 The number of error messages is important, and is used to halt processing
 when the maximum is reached. Also, Proof Verification and/or Syntax
 Verification will not take place unless the .mm file was loaded with zero
 errors.
 <p>
 Set this number to 9999 if desired, it is not a problem unless you are
 short on memory.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.MAX_ERROR_MESSAGES_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="MAX_INFO_MESSAGES_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>MAX_INFO_MESSAGES_DEFAULT</h4>
<pre>public static final&nbsp;int MAX_INFO_MESSAGES_DEFAULT</pre>
<div class="block">Default maximum number of "info" messages in mmj.lang.Messages.java, the
 mmj message repository during processing.
 <p>
 There are not many info messages in mmj at this time. Basically they fall
 into the category of "warnings", but in the future might include audit or
 statistical data ("instrumentation").</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.MAX_INFO_MESSAGES_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_MIN_INTERVAL_SIZE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_MIN_INTERVAL_SIZE</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_MIN_INTERVAL_SIZE</pre>
<div class="block">Sequence Number minimum interval size.
 <p>
 SEQ_ASSIGNER_MIN_INTERVAL_SIZE = 1.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_MIN_INTERVAL_SIZE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_MAX_INTERVAL_SIZE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_MAX_INTERVAL_SIZE</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_MAX_INTERVAL_SIZE</pre>
<div class="block">Sequence Number maximum interval size.
 <p>
 SEQ_ASSIGNER_MAX_INTERVAL_SIZE = 10000.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_MAX_INTERVAL_SIZE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT</pre>
<div class="block">Sequence Number default interval size.
 <p>
 SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT = 1000.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_INTERVAL_SIZE_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN</pre>
<div class="block">Sequence Number Interval Table HashMap minimum initial size.
 <p>
 SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN = 10.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MIN">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX</pre>
<div class="block">Sequence Number Interval Table HashMap maximum initial size.
 <p>
 SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX = 10000.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_MAX">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT</h4>
<pre>public static final&nbsp;int SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT</pre>
<div class="block">Sequence Number Interval Table HashMap initial size.
 <p>
 SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT = 100.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SEQ_ASSIGNER_INTERVAL_TBL_INITIAL_SIZE_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_LOW_BASE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_LOW_BASE</h4>
<pre>public static final&nbsp;int COMPRESS_LOW_BASE</pre>
<div class="block">for ProofCompression.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_LOW_BASE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_HIGH_BASE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_HIGH_BASE</h4>
<pre>public static final&nbsp;int COMPRESS_HIGH_BASE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_HIGH_BASE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_LOW_DIGIT_CHARS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_LOW_DIGIT_CHARS</h4>
<pre>public static final&nbsp;byte[] COMPRESS_LOW_DIGIT_CHARS</pre>
</li>
</ul>
<a name="COMPRESS_HIGH_DIGIT_CHARS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_HIGH_DIGIT_CHARS</h4>
<pre>public static final&nbsp;byte[] COMPRESS_HIGH_DIGIT_CHARS</pre>
</li>
</ul>
<a name="COMPRESS_UNKNOWN_CHAR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_UNKNOWN_CHAR</h4>
<pre>public static final&nbsp;byte COMPRESS_UNKNOWN_CHAR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_UNKNOWN_CHAR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_REPEAT_CHAR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_REPEAT_CHAR</h4>
<pre>public static final&nbsp;byte COMPRESS_REPEAT_CHAR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_REPEAT_CHAR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_UNKNOWN_CHAR_VALUE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_UNKNOWN_CHAR_VALUE</h4>
<pre>public static final&nbsp;byte COMPRESS_UNKNOWN_CHAR_VALUE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_UNKNOWN_CHAR_VALUE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_REPEAT_CHAR_VALUE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_REPEAT_CHAR_VALUE</h4>
<pre>public static final&nbsp;byte COMPRESS_REPEAT_CHAR_VALUE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_REPEAT_CHAR_VALUE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_ERROR_CHAR_VALUE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_ERROR_CHAR_VALUE</h4>
<pre>public static final&nbsp;byte COMPRESS_ERROR_CHAR_VALUE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_ERROR_CHAR_VALUE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_VALID_CHARS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_VALID_CHARS</h4>
<pre>public static final&nbsp;byte[] COMPRESS_VALID_CHARS</pre>
</li>
</ul>
<a name="COMPRESS_OTHER_STMT_INIT_LEN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_OTHER_STMT_INIT_LEN</h4>
<pre>public static final&nbsp;int COMPRESS_OTHER_STMT_INIT_LEN</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_OTHER_STMT_INIT_LEN">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_REPEATED_SUBPROOF_INIT_LEN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_REPEATED_SUBPROOF_INIT_LEN</h4>
<pre>public static final&nbsp;int COMPRESS_REPEATED_SUBPROOF_INIT_LEN</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_REPEATED_SUBPROOF_INIT_LEN">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="COMPRESS_STEP_INIT_LEN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>COMPRESS_STEP_INIT_LEN</h4>
<pre>public static final&nbsp;int COMPRESS_STEP_INIT_LEN</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.COMPRESS_STEP_INIT_LEN">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="NBR_WORK_VARS_FOR_TYPE_MIN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>NBR_WORK_VARS_FOR_TYPE_MIN</h4>
<pre>public static final&nbsp;int NBR_WORK_VARS_FOR_TYPE_MIN</pre>
<div class="block">for WorkVarManager.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.NBR_WORK_VARS_FOR_TYPE_MIN">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="NBR_WORK_VARS_FOR_TYPE_MAX">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>NBR_WORK_VARS_FOR_TYPE_MAX</h4>
<pre>public static final&nbsp;int NBR_WORK_VARS_FOR_TYPE_MAX</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.NBR_WORK_VARS_FOR_TYPE_MAX">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ</h4>
<pre>public static final&nbsp;int STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.STARTING_WORK_VAR_SEQ_NBR_FOR_MOBJ">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="WORK_VAR_DEFAULT_PREFIX">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>WORK_VAR_DEFAULT_PREFIX</h4>
<pre>public static final&nbsp;java.lang.String WORK_VAR_DEFAULT_PREFIX</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.WORK_VAR_DEFAULT_PREFIX">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="WORK_VAR_DEFAULT_NBR_FOR_TYP_CD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>WORK_VAR_DEFAULT_NBR_FOR_TYP_CD</h4>
<pre>public static final&nbsp;int WORK_VAR_DEFAULT_NBR_FOR_TYP_CD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.WORK_VAR_DEFAULT_NBR_FOR_TYP_CD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="WV_OCCURS_IN_RENAME_LOOP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>WV_OCCURS_IN_RENAME_LOOP</h4>
<pre>public static final&nbsp;int WV_OCCURS_IN_RENAME_LOOP</pre>
<div class="block">for ParseNode.java to commo to mmj.pa.StepUnifier... (see
 ParseNode.checkWorkVarHasOccursIn())</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.WV_OCCURS_IN_RENAME_LOOP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="WV_OCCURS_IN_NOT_AT_ALL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>WV_OCCURS_IN_NOT_AT_ALL</h4>
<pre>public static final&nbsp;int WV_OCCURS_IN_NOT_AT_ALL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.WV_OCCURS_IN_NOT_AT_ALL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="WV_OCCURS_IN_ERROR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>WV_OCCURS_IN_ERROR</h4>
<pre>public static final&nbsp;int WV_OCCURS_IN_ERROR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.WV_OCCURS_IN_ERROR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="BOOK_MANAGER_ENABLED_DEFAULT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>BOOK_MANAGER_ENABLED_DEFAULT</h4>
<pre>public static final&nbsp;boolean BOOK_MANAGER_ENABLED_DEFAULT</pre>
<div class="block">The BookManager is enabled by default even though it is possibly of
 little use to the average mmj2 user.</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.BOOK_MANAGER_ENABLED_DEFAULT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ALLOC_NBR_BOOK_CHAPTERS_INITIAL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ALLOC_NBR_BOOK_CHAPTERS_INITIAL</h4>
<pre>public static final&nbsp;int ALLOC_NBR_BOOK_CHAPTERS_INITIAL</pre>
<div class="block">This sets the initial size of the ArrayList used to store Chapters in the
 BookManager.
 <p>
 If the number of input Chapters exceeds this value the ArrayList is
 automatically resized. As of August 2008 there were 33 Chapters in set.mm</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ALLOC_NBR_BOOK_CHAPTERS_INITIAL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ALLOC_NBR_BOOK_SECTIONS_INITIAL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ALLOC_NBR_BOOK_SECTIONS_INITIAL</h4>
<pre>public static final&nbsp;int ALLOC_NBR_BOOK_SECTIONS_INITIAL</pre>
<div class="block">This sets the initial size of the ArrayList used to store Sections in the
 BookManager.
 <p>
 If the number of input Sections exceeds this value the ArrayList is
 automatically resized. As of August 2008 there were about 1250 Sections
 in set.mm</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ALLOC_NBR_BOOK_SECTIONS_INITIAL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_NBR_CATEGORIES">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_NBR_CATEGORIES</h4>
<pre>public static final&nbsp;int SECTION_NBR_CATEGORIES</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_NBR_CATEGORIES">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_SYM_CD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_SYM_CD</h4>
<pre>public static final&nbsp;int SECTION_SYM_CD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_SYM_CD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_VAR_HYP_CD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_VAR_HYP_CD</h4>
<pre>public static final&nbsp;int SECTION_VAR_HYP_CD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_VAR_HYP_CD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_SYNTAX_CD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_SYNTAX_CD</h4>
<pre>public static final&nbsp;int SECTION_SYNTAX_CD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_SYNTAX_CD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_LOGIC_CD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_LOGIC_CD</h4>
<pre>public static final&nbsp;int SECTION_LOGIC_CD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_LOGIC_CD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_DISPLAY_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_DISPLAY_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String[] SECTION_DISPLAY_CAPTION</pre>
</li>
</ul>
<a name="CNST_SET_TYPE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>CNST_SET_TYPE</h4>
<pre>public static final&nbsp;java.lang.String CNST_SET_TYPE</pre>
<div class="block">for Cnst.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.CNST_SET_TYPE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="CHAPTER_TOSTRING_LITERAL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>CHAPTER_TOSTRING_LITERAL</h4>
<pre>public static final&nbsp;java.lang.String CHAPTER_TOSTRING_LITERAL</pre>
<div class="block">for Chapter.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.CHAPTER_TOSTRING_LITERAL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="SECTION_TOSTRING_LITERAL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>SECTION_TOSTRING_LITERAL</h4>
<pre>public static final&nbsp;java.lang.String SECTION_TOSTRING_LITERAL</pre>
<div class="block">for Section.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.SECTION_TOSTRING_LITERAL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_MUST_DEF_CNST_AT_GLOBAL_LVL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_CANNOT_END_GLOBAL_SCOPE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_CANNOT_END_GLOBAL_SCOPE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_CANNOT_END_GLOBAL_SCOPE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_CANNOT_END_GLOBAL_SCOPE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MISSING_END_SCOPE_AT_EOF">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MISSING_END_SCOPE_AT_EOF</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MISSING_END_SCOPE_AT_EOF</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_MISSING_END_SCOPE_AT_EOF">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DJ_VARS_ARE_DUPS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DJ_VARS_ARE_DUPS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DJ_VARS_ARE_DUPS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DJ_VARS_ARE_DUPS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_TYP_UNDEF">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_TYP_UNDEF</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_TYP_UNDEF</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_TYP_UNDEF">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_TYP_NOT_DEF_AS_CNST">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_TYP_NOT_DEF_AS_CNST</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_TYP_NOT_DEF_AS_CNST</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_TYP_NOT_DEF_AS_CNST">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EXPR_SYM_NOT_DEF">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EXPR_SYM_NOT_DEF</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EXPR_SYM_NOT_DEF</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_EXPR_SYM_NOT_DEF">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EXPR_SYM_NOT_ACTIVE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EXPR_SYM_NOT_ACTIVE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EXPR_SYM_NOT_ACTIVE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_EXPR_SYM_NOT_ACTIVE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_EXPR_VAR_W_O_ACTIVE_VAR_HYP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_STMT_LABEL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_STMT_LABEL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_STMT_LABEL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DUP_STMT_LABEL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_FORMULA_VAR_HYP_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_FORMULA_VAR_HYP_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_FORMULA_VAR_HYP_NOTFND</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_FORMULA_VAR_HYP_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_VAR_OR_CNST_SYM">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_VAR_OR_CNST_SYM</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_VAR_OR_CNST_SYM</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DUP_VAR_OR_CNST_SYM">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="MISSING_PROOF_STEP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>MISSING_PROOF_STEP</h4>
<pre>public static final&nbsp;java.lang.String MISSING_PROOF_STEP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.MISSING_PROOF_STEP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROOF_HAS_NO_STEPS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROOF_HAS_NO_STEPS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROOF_HAS_NO_STEPS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PROOF_HAS_NO_STEPS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROOF_STEP_LABEL_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROOF_STEP_LABEL_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROOF_STEP_LABEL_NOTFND</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PROOF_STEP_LABEL_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_FORWARD_PROOF_STEP_LABEL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_FORWARD_PROOF_STEP_LABEL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_FORWARD_PROOF_STEP_LABEL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_FORWARD_PROOF_STEP_LABEL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PROOF_STEP_HYP_INACTIVE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PROOF_STEP_HYP_INACTIVE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PROOF_STEP_HYP_INACTIVE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PROOF_STEP_HYP_INACTIVE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_VAR_IS_DUP_OF_CNST_SYM">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_VAR_IS_DUP_OF_CNST_SYM</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_VAR_IS_DUP_OF_CNST_SYM</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_VAR_IS_DUP_OF_CNST_SYM">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_VAR_IS_ALREADY_ACTIVE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_VAR_IS_ALREADY_ACTIVE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_VAR_IS_ALREADY_ACTIVE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_VAR_IS_ALREADY_ACTIVE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_VAR_UNDEF">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_VAR_UNDEF</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_VAR_UNDEF</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_VAR_UNDEF">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_VAR_NOT_DEF_AS_VAR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_VAR_NOT_DEF_AS_VAR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_VAR_NOT_DEF_AS_VAR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_VAR_NOT_DEF_AS_VAR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_VAR_NOT_ACTIVE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_VAR_NOT_ACTIVE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_VAR_NOT_ACTIVE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_VAR_NOT_ACTIVE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MULT_ACTIVE_HYP_FOR_VAR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MULT_ACTIVE_HYP_FOR_VAR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MULT_ACTIVE_HYP_FOR_VAR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_MULT_ACTIVE_HYP_FOR_VAR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSED_RPN_INCOMPLETE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSED_RPN_INCOMPLETE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSED_RPN_INCOMPLETE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PARSED_RPN_INCOMPLETE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSED_RPN_EMPTY_STACK">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSED_RPN_EMPTY_STACK</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSED_RPN_EMPTY_STACK</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PARSED_RPN_EMPTY_STACK">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PARSED_RPN_NOT_EMPTY_AT_END">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_PARSED_RPN_TOP_STACK_STMT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_PARSED_RPN_TOP_STACK_STMT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_PARSED_RPN_TOP_STACK_STMT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_PARSED_RPN_TOP_STACK_STMT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MAX_ERROR_MSG_LT_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MAX_ERROR_MSG_LT_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MAX_ERROR_MSG_LT_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_MAX_ERROR_MSG_LT_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_MAX_INFO_MSG_LT_1">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_MAX_INFO_MSG_LT_1</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_MAX_INFO_MSG_LT_1</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_MAX_INFO_MSG_LT_1">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYM_TBL_TOO_SMALL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYM_TBL_TOO_SMALL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYM_TBL_TOO_SMALL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SYM_TBL_TOO_SMALL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_TBL_TOO_SMALL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_TBL_TOO_SMALL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_TBL_TOO_SMALL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_TBL_TOO_SMALL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TREE_CONV_TO_RPN_FAILURE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TREE_CONV_TO_RPN_FAILURE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TREE_CONV_TO_RPN_FAILURE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_TREE_CONV_TO_RPN_FAILURE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RPN_CONV_TO_TREE_FAILURE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RPN_CONV_TO_TREE_FAILURE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RPN_CONV_TO_TREE_FAILURE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_RPN_CONV_TO_TREE_FAILURE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_RPN_INVALID_NOT_ENOUGH_STMTS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_LABEL_STRING_EMPTY">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_LABEL_STRING_EMPTY</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_LABEL_STRING_EMPTY</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_LABEL_STRING_EMPTY">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="DJVARS_LEFT_BRACKET">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DJVARS_LEFT_BRACKET</h4>
<pre>public static final&nbsp;java.lang.String DJVARS_LEFT_BRACKET</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.DJVARS_LEFT_BRACKET">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="DJVARS_RIGHT_BRACKET">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DJVARS_RIGHT_BRACKET</h4>
<pre>public static final&nbsp;java.lang.String DJVARS_RIGHT_BRACKET</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.DJVARS_RIGHT_BRACKET">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="DJVARS_SEPARATOR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>DJVARS_SEPARATOR</h4>
<pre>public static final&nbsp;java.lang.String DJVARS_SEPARATOR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.DJVARS_SEPARATOR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYM_ID_STRING_EMPTY">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYM_ID_STRING_EMPTY</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYM_ID_STRING_EMPTY</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SYM_ID_STRING_EMPTY">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TYP_CONV_DUP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TYP_CONV_DUP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TYP_CONV_DUP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_TYP_CONV_DUP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_ASSRT_SUBST_HYP_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_ASSRT_SUBST_HYP_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_ASSRT_SUBST_HYP_NOTFND</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_ASSRT_SUBST_HYP_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_UNIFY_SUBST_HYP_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_UNIFY_SUBST_HYP_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_UNIFY_SUBST_HYP_NOTFND</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_UNIFY_SUBST_HYP_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SYM_ID_DUP_OF_STMT_LABEL">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SYM_ID_DUP_OF_STMT_LABEL</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SYM_ID_DUP_OF_STMT_LABEL</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SYM_ID_DUP_OF_STMT_LABEL">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_STMT_LABEL_DUP_OF_SYM_ID">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_STMT_LABEL_DUP_OF_SYM_ID</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_STMT_LABEL_DUP_OF_SYM_ID</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_STMT_LABEL_DUP_OF_SYM_ID">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SUBTREE_CONV_TO_RPN_FAILURE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DUP_SYM_MAP_PUT_ATTEMPT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DUP_STMT_MAP_PUT_ATTEMPT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_THEOREM_LOADER_ROLLBACK_FAILED">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_THEOREM_LOADER_COMMIT_FAILED">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_THEOREM_LOADER_COMMIT_FAILED</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_THEOREM_LOADER_COMMIT_FAILED</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_THEOREM_LOADER_COMMIT_FAILED">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_OTHER_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_OTHER_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_OTHER_NOTFND</pre>
<div class="block">Messages for ProofCompression.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_OTHER_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_OTHER_BOGUS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_OTHER_BOGUS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_OTHER_BOGUS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_OTHER_BOGUS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_OTHER_VARHYP_POS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_OTHER_VARHYP_POS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_OTHER_VARHYP_POS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_OTHER_VARHYP_POS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_NO_PROOF_BLOCKS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_NO_PROOF_BLOCKS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_NO_PROOF_BLOCKS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_NO_PROOF_BLOCKS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_PREMATURE_END">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_PREMATURE_END</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_PREMATURE_END</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_PREMATURE_END">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_NOT_ASCII">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_NOT_ASCII</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_NOT_ASCII</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_NOT_ASCII">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_BAD_CHAR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_BAD_CHAR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_BAD_CHAR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_BAD_CHAR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_BAD_UNK">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_BAD_UNK</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_BAD_UNK</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_BAD_UNK">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_BAD_RPT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_BAD_RPT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_BAD_RPT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_BAD_RPT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_BAD_RPT2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_BAD_RPT2</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_BAD_RPT2</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_BAD_RPT2">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_BAD_RPT3">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_BAD_RPT3</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_BAD_RPT3</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_BAD_RPT3">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_CORRUPT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_CORRUPT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_CORRUPT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_CORRUPT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_COMPRESS_OTHER_MAND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_COMPRESS_OTHER_MAND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_COMPRESS_OTHER_MAND</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_COMPRESS_OTHER_MAND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BAD_PARSE_STMT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BAD_PARSE_STMT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BAD_PARSE_STMT</pre>
<div class="block">Messages for ProofCompression.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_BAD_PARSE_STMT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TIMER_ID_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TIMER_ID_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TIMER_ID_NOTFND</pre>
<div class="block">Messages for Messages.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_TIMER_ID_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TIMER_ID">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TIMER_ID</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TIMER_ID</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_TIMER_ID">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DEFINE_WORK_VAR_TYPE_BAD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DEFINE_WORK_VAR_TYPE_BAD</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DEFINE_WORK_VAR_TYPE_BAD</pre>
<div class="block">Messages for WorkVarManager.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DEFINE_WORK_VAR_TYPE_BAD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DEFINE_WORK_VAR_PREFIX_BAD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DEFINE_WORK_VAR_NBR_BAD">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DEFINE_WORK_VAR_NBR_BAD</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DEFINE_WORK_VAR_NBR_BAD</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DEFINE_WORK_VAR_NBR_BAD">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DEFINE_WORK_VAR_PFX_DUP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DEFINE_WORK_VAR_PFX_DUP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DEFINE_WORK_VAR_PFX_DUP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DEFINE_WORK_VAR_PFX_DUP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DEFINE_WORK_VAR_DUP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DEFINE_WORK_VAR_DUP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DEFINE_WORK_VAR_DUP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DEFINE_WORK_VAR_DUP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BOGUS_WORK_VAR_IN_ALLOC">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BOGUS_WORK_VAR_IN_ALLOC</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BOGUS_WORK_VAR_IN_ALLOC</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_BOGUS_WORK_VAR_IN_ALLOC">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_TOO_FEW_WORK_VAR_FOR_TYP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_VAR_IN_WORK_VAR_HYP">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_VAR_IN_WORK_VAR_HYP</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_VAR_IN_WORK_VAR_HYP</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_VAR_IN_WORK_VAR_HYP">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST</pre>
<div class="block">Messages for ParseNode.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_NULL_TARGET_VAR_HYP_PA_SUBST">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_INTERVAL_SIZE_RANGE_ERR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_INTERVAL_SIZE_RANGE_ERR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_INTERVAL_SIZE_RANGE_ERR</pre>
<div class="block">Messages for SeqAssigner.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_INTERVAL_SIZE_RANGE_ERR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_INTERVAL_TBL_SIZE_RANGE_ERR">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SEQ_ASSIGNER_OUT_OF_NUMBERS">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SEQ_ASSIGNER_ROLLBACK_STATE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SEQ_ASSIGNER_COMMIT_STATE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SEQ_ASSIGNER_COMMIT_STATE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SEQ_ASSIGNER_COMMIT_STATE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SEQ_ASSIGNER_COMMIT_STATE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SEQ_ASSIGNER_ROLLBACK_AUDIT">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_THEOREM_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_THEOREM_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_THEOREM_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_THEOREM_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_LOGHYP_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_LOGHYP_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_LOGHYP_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_LOGHYP_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_INSERTED_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_INSERTED_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_INSERTED_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_INSERTED_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_APPENDED_CAPTION">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_APPENDED_CAPTION</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_APPENDED_CAPTION</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_APPENDED_CAPTION">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE</pre>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_SEQ_ASSIGNER_CHECKPOINT_STATE">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME</pre>
<div class="block">Messages for Theorem.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DJ_VARS_VARS_NOT_DEF_IN_EXT_FRAME">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND</pre>
<div class="block">Messages for BookManager.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_BM_UPDATE_W_MMT_SECTION_NOTFND">Constant Field Values</a></dd></dl>
</li>
</ul>
<a name="ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR</h4>
<pre>public static final&nbsp;java.lang.String ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR</pre>
<div class="block">Messages for ScopeFrame.java</div>
<dl><dt><span class="strong">See Also:</span></dt><dd><a href="../../constant-values.html#mmj.lang.LangConstants.ERRMSG_DUP_DJ_VARS_AFTER_CONSOLIDATION_ERR">Constant Field Values</a></dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="LangConstants()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>LangConstants</h4>
<pre>public&nbsp;LangConstants()</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/lang/Hyp.html" title="class in mmj.lang"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/lang/LangException.html" title="class in mmj.lang"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/lang/LangConstants.html" target="_top">Frames</a></li>
<li><a href="LangConstants.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#methods_inherited_from_class_java.lang.Object">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li>Method</li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
